#!/bin/bash
bin_dir=$(cd "$(dirname $0)/.." && pwd -P)/bin
$bin_dir/graver